Using bzl logic , security , anonymity and tracing ability of the digital - cash is verified . the protocol proves strong by using the factual system and being verified by the bzl logic 通过在电子交易系统的实际应用和bzl逻辑的形式化验证,证明了提出的数字现金协议是一个强壮的协议。
The householder transformation have some advantages of anti ill function , stability , fewer calculation amount and good trace ability . in addition , in practice application high frequency interferer and data mutation are considerd , so the data acquired derectly are pre - disposed 辨识算法上,采用了基于householder变换的自适应最小二乘法,其具有抗方程病态性好,稳定性好,计算量小,跟踪性好等优点。
trace: n. (马车等的)挽绳,挽车的皮带;【机械工程】连动杆; ...ability: n. 能,能力,本领,技能;〔pl.〕 才,才能,才干。 ...a trace: a扫迹; a扫描轨迹; 踪迹a-trace: 扫描线no trace: 无线索trace: trace1 n. 1.迹,足迹,踪迹,去向。 2.痕迹;证迹,线索,结果;【心理学】记忆痕;【植物;植物学】(脉)迹。 3.微量,【化学】痕量;一点点。 4.迹线,图形,图样;【筑城】示意图,略图(自记仪器的)记录图像;(示波器上的)扫描(行程),扫迹。 5.【几】交点,交线;接触线;描迹;描绘;【军事】经始线;【气象】小到不能计量的雨量〔略作 T〕。 a trace of fear 微微有点害怕。 (hot) on the traces of 追踪,追近。 vt. 1.跟踪,追踪;侦探,探索,查找。 2.顺着去,跟着…去;追溯由来,追究。 3.描绘,画轮廓,打图样;【军事】画出(军事设施的)经始线;(用心)写;〔比喻〕计划。 4.描摹,映描;复写。 5.【建筑】用花窗格装饰。 trace back 追溯 (The report has been traced back to you. 这个谣言追究到你这里来了)。 trace beans 〔美俚〕非常好奇。 trace out 探寻踪迹;描摹,映写;计划。 trace (out) a plan 映绘平面图。 trace (out) a policy 草拟一项政策)。 vi. 1.沿路走;沿路线走。 2.追溯到 (to)。 n. (马车等的)挽绳,挽车的皮带;【机械工程】连动杆;【植物;植物学】(脉)迹。 in the traces 上着挽绳;负担日常工作。 jump the traces 挣脱羁绊;〔比喻〕摆脱束缚。 kick over the traces 挣脱羁绊;〔比喻〕不受驾驭,反抗。 trace into: 跟踪到trace to: 上溯, 追查到; 追溯到-ability: 后缀 由 -able 转成的名词词尾,表示“可能性”: curability. ability: n. 能,能力,本领,技能;〔pl.〕 才,才能,才干。 financial abilities 财力。 a man of ability 有本事的人。 to the best of one's ability 竭力,尽力,尽量。 ability for: 具有...的能力ability to: 具有...的能力trace-to-trace coherence criterion: 道间相干准则trace-to-trace phase distortion: 道间相位畸变trace-to-trace time delay: 道间相对时延a ormal trace: 不正常道abnormal trace: 不正常道activity trace: 活动追踪addre trace: 地址道address trace: 地址跟踪; 地址轨airborne trace: 飞机轨迹; 航迹alternating trace: 交替迹anodal trace: 离节迹arc trace: 电弧痕迹attachment trace: 附着迹